Proceedings of the 11th Overture Workshop

The 11th Overture Workshop was held in Aarhus, Denmark on Wed/Thu 28–29th Au- gust 2013. It was the 11th workshop in the current series focusing on the Vienna De- velopment Method (VDM) and particularly its community-based tools development project, Overture (http://www.overturetool.org/), and related projects such as COMPASS(http://www.compass-research.eu/) and DESTECS (http://www.destecs.org). Invited talks were given by Yves Ledru and Joe Kiniry. The workshop attracted 25 participants representing 10 nationalities. The goal of the workshop was to provide a forum to present new ideas, to identify and encourage new collaborative research, and to foster current strands of work towards publication in the mainstream conferences and journals. The Overture initiative held its first workshop at FM’05. Workshops were held subsequently at FM’06, FM’08 and FM’09, FM’11, FM’12 and in between

Multi-domain Modelling in DESTECS and Ptolemy - a Tool Comparison

Developing embedded systems with high performance and safety requirements is notoriously hard. It is not enough to have a thorough understanding of the control algorithms used, but a deep understanding of the monitored and controlled physical environment is required to ensure that performance and safety requirements are met. Various tools deal with modeling such multi-domain systems and provide evaluation through simulation. Two such tools — DESTECS and Ptolemy — are examined and compared in this paper, using a case study of an aircraft fuel system. Usability, quantitative, and qualitative comparison criteria are used to give a thorough analysis of the capabilities of the two tools. The contribution of this paper is a description of pros and cons of each tool, helping future users to choose the right tool that suits their needs

Equal BMD After Daily Or Triweekly Exercise In Growing Rats

The purpose of this study was to examine the efficacy of continuous resistance training (3 days/wk) compared to interrupted resistance training where 20-24 h separated an exercise bout (i.e. 6 days/wk) for enhancing bone mineral density (BMD) in growing male rats. The total volume of work performed per week between the two resistance training programs was equivalent by design. Young male rats were randomly divided into Control (Con, n = 9), 3 days/wk resistance trained group (RT3, n = 9), and 6 days/wk resistance trained group (RT6, n = 9). The RT3 and RT6 groups were conditioned to climb a vertical ladder with weights appended to their tail for a total of 6 wks. After 6 wks, BMD (assessed via DXA) from the left tibia was significantly greater for RT3 (0.242 +/- 0.004 g/cm(2)) and RT6 (0.244 +/- 0.004 g/cm(2)) compared to Con (0.226 +/- 0.003 g/cm(2) ). Further, serum osteocalcin (oc, in ng/ml) was significantly greater for RT3 (75.8 +/- 4.4) and RT6 (73.5 +/- 3.8) compared to Con (53.4 +/- 2.4). There was no significant difference in BMD or serum OC between RT3 and RT6 groups. The results indicate that both resistance training programs were equally effective in elevating bone mineral density in young, growing rats

Feeding ecology of broadbill swordfish (Xiphias gladius) in the California current

Funding: Support for our study includes salary funding from the NOAA Fisheries’ Office of Science and Technology and contract funds from the Cooperative Institute for Marine, Earth, and Atmospheric Systems. The National Observer Program within NOAA Fisheries’ Office of Science and Technology carried out sample collection. While the study fits the scope of work under the coauthors’ performance plans, they received no specific funding for this work. The funders had no role in study design, analysis, decision to publish, or preparation of the manuscript. Acknowledgments This work would not have been possible without the assistance and samples provided by the NMFS Southwest Region Fishery Observer Program and the participating drift gillnet fishermen. We thank several assistant volunteers who helped process the stomach samples. Alexandra Stohs provided research assistance. Mark Lowry, Eric Hochberg and John Hyde helped identify some prey specimens. John Field, Chugey Sepulveda and Scott Aalbers offered science feedback. Barbara Muhling helped create the map. Kristen Koch, Annie Yau, Brad Erisman, Heidi Dewar, Stephanie Flores, Crystal Dombrow, Elan Portner and Ruben Bergtraun provided useful comments on the draft. Debra Losey assisted with library research. We also thank Hiroshi Ohizumi and two anonymous reviewers for their careful critiques that helped improve the manuscript.Peer reviewedPublisher PD

Analysing Systems Interdependencies Using a Digital Twin

This work provides a first step towards next-generation systems engineering by demonstrating the feasibility of using a digital twin to generate new insight into systems relationships and interdependencies. This step required substantial interdisciplinary work and industry collaboration in order to examine the potential to combine a set of relevant analytical methods (e.g. BIM query, network analyses and multi-modelling). We assembled an experienced team (Imperial College London, University of Sheffield, Newcastle University), and worked closely with and used empirical data from a major project (Thames Tideway Tunnel). This first step delivers fundamental theoretical understanding that will support the use of the digital twin for systems analyses, and a practical contribution to the identification, prioritisation and management of interdependencies. The long-term ambition is to build the tools that decision makers need in order to understand infrastructure system interdependencies within and across project boundaries

The Mass of the Lightest Supersymmetric Higgs Boson beyond the Leading Logarithm Approximation

We examine the radiative corrections to the mass of the lightest Higgs boson in the minimal supersymmetric extension of the standard model. We use the renormalization-group improved effective potential which includes the next-to-leading-order contributions. We find that, contrary to the result of Espinosa and Quir\'os, the higher-order corrections to the lightest Higgs boson mass are non-negligible, adding $3-11$ GeV ($3-9$ GeV) to the result in the leading logarithm approximation for the range of top quark mass $100 {\rm GeV} < m_t < 200 {\rm GeV}$ and for the supersymmetric breaking scale $M_{\rm SUSY} = 1 {\rm TeV}$ ($M_{\rm SUSY} = 10 {\rm TeV}$). Also we find that our result is stable under the change of the renormalization parameter $t$.Comment: 17 pages (2 figures not included

Sparticle masses in deflected mirage mediation

We discuss the sparticle mass patterns that can be realized in deflected mirage mediation scenario of supersymmetry breaking, in which the moduli, anomaly, and gauge mediations all contribute to the MSSM soft parameters. Analytic expression of low energy soft parameters and also the sfermion mass sum rules are derived, which can be used to interpret the experimentally measured sparticle masses within the framework of the most general mixed moduli-gauge-anomaly mediation. Phenomenological aspects of some specific examples are also discussed.Comment: 43 pages, 17 figures, references adde